SRI International - PDFSEARCH.IO - Document Search Engine

SRI International
Results: 1439

#	Item
91	Society for Low temperature Biology Add to Reading List Source URL: www.ilkdresden.de Language: English - Date: 2016-06-20 02:41:57 Food preservation Heating ventilating and air conditioning International Institute of Refrigeration Thermodynamics Sri Lanka Transport Board Brecht Dresden
92	The Ambisonic Decoder Toolbox: Extensions for Partial-Coverage Loudspeaker Arrays Aaron J. HELLER AI Center, SRI International Menlo Park, CA, US Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2014-05-06 11:24:25 Surround sound Ambisonics Ambisonic decoding Matrix decoder Soundfield microphone Decoder Loudspeaker Ambisonic reproduction systems Ambisonic UHJ format
93	A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-11 10:23:46 Formal methods Logic in computer science Theoretical computer science Systems engineering Formal verification Model checking Satisfiability modulo theories Verification Correctness Software verification
94	Our Vision ‘A world in which all older people fulfil their potential to lead dignified, active, healthy and secure lives.’ Our Mission ‘By working together, we ensure that people in Sri Lanka understand how much ol Add to Reading List Source URL: www.helpagesl.org Language: English - Date: 2015-11-30 07:36:53 Ageing Age International Sri Lanka Population ageing HelpAge India Help the Aged Canada
95	GENERAL TECHNOLOGY - AUDIO INPUT/OUTPUT DR. BOYLE: Ladies and gentlemen, we will get cracking on the last session of the hardware panels. We are going to be talking about Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 23:15:56 Assistive technology Computational linguistics Optacon SRI International Language Telesensory Systems Speech synthesis Vocabulary Calculator Typing Computer Speech recognition
96	Sanjana Hattotuwa Profile: An Ashoka, Rotary World Peace and TED Fellow alumn, I have for over fourteen years Add to Reading List Source URL: sanjanah.files.wordpress.com Language: English - Date: 2016-05-30 08:15:18 Information and communication technologies for development Aftermath of war Humanitarian aid International development Peacebuilding Ict4peace K B Buddhika Sampath Darshana Sri Lanka
97	IODP RECONNAISSANCE INFORMATION ____________________________________________________________________________________________________ Add to Reading List Source URL: www.iodp.tamu.edu Language: English - Date: 2016-06-07 12:26:59 Marine geology International Ocean Discovery Program Travel visa Aitken Spence Sri Lanka Colombo
98	HIDDEN TREASURES OF SL DR. ELIZABETH PROKSCH & GROUP (10 DAYS /09 NIGHTS 27 OCT – 05 NOVDay 01 You will be met and assisted on arrival at the Bandaranaike International Airport by Add to Reading List Source URL: www.prokschconsult.at Language: English Republics Sri Lanka Minneriya Kaudulla National Park Wilpattu National Park Sigiriya Bandaranaike International Airport Kandy Kitulgala
99	J. E x p t . T h e o r . A r t i f . In t e l l± 338 Robotics and arti® cial intelligence NILS J. NILSSON Robotics Laboratory, Department of Computer Science, Stanford University, Stanford, CA 94305, USA Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-06-09 14:55:00 Artificial intelligence Robotics Nils John Nilsson Cognitive robotics Robot Mobile robot SRI International
100	Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2016-07-28 16:53:46 Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula

UPDATE